package typechecker.ast.term;

import typechecker.ast.type.TypeExpression;

public class TypeApplication extends Expression{
	private Expression fun;
	private TypeExpression arg;
	
	public TypeApplication(Expression fun, TypeExpression arg) {
		this.fun = fun;
		this.arg = arg;
	}
	
	@Override
	public String preetyPrint() {
		String ret = "(" + fun.preetyPrint() + " " + arg.preetyPrint()+")";
		return ret;
	}
	
	public Expression getFun() {
		return fun;
	}
	
	public TypeExpression getArg() {
		return arg;
	}
}
